退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:逻辑编程中的绑架:基于重写的新定义和绑架过程
Lin, Fangzhen; You, Jia-Huai;
机译:SLDNFA:用于归纳逻辑程序的归纳过程
机译:具有约束条件的归纳逻辑编程的CIFF证明程序:理论,实现和实验
机译:归纳逻辑编程和析取逻辑编程:它们的关系和可传递性
机译:逻辑编程中的绑架:基于重写的新定义和绑架程序
机译:使用归纳逻辑编程自动化代谢网络模型的开发
机译:解剖零位的定义以评估手臂双侧外展期间的3D运动捕捉来评估肩膀的姿势
机译:绑架估计装置,绑架估计方法和绑架估计程序
机译:绑架推理装置,绑架推理方法和计算机可读介质
机译:绑架设备,展示方法和计算机可读记录介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。